#!/usr/bin/perl -w

use strict;

print "    , disj [";
my $fst = 1;

while (<>)
{
	if (my ($f,$i,$j,$v) = /\(= \((.) (\d+) (\d+)\) (.*)\)/)
	{
		print "," unless $fst;

		if ($v eq 'true')
		{
			print "non($f $i $j)";
		}
		else
		{
			print "$f $i $j";
		}
		$fst = 0;
	}
}

print "]\n";
